y=(4-x^2)^(1/2)的原函数